2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Reactive systems: modelling, specification and verification
Автор:
Luca Aceto
, Автор:
Anna Ingólfsdóttir
, Автор:
Kim Guldstrand Larsen
, Автор:
Jiri Srba
Размер книги: 1.97 Mb
Reactive Systems: Modelling, Specification and Verification
Автор:
Luca Aceto
, Автор:
Anna Ingólfsdóttir
, Автор:
Kim Guldstrand Larsen
, Автор:
Jiri Srba
Размер книги: 1.92 Mb
Fanconi Anemia: Guidelines for Diagnosis and Management, 3rd Edition
Автор:
Mary Ellen Eiler
, Автор:
Lynn Frohnmayer
, Автор:
Dave Frohnmayer
, Автор:
Kim Larsen and Joyce Owen
Размер книги: 2.21 Mb
Automata, Languages and Programming, 25 conf., ICALP'98
Автор:
Kim G. Larsen
, Автор:
Sven Skyum
, Автор:
Glynn Winskel
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 6.24 Mb
Tools and Algorithms for the Construction and Analysis of Systems, 1 conf., TACAS '95
Автор:
Ed Brinksma
, Автор:
W. Rance Cleaveland
, Автор:
Kim G. Larsen
, Автор:
Tiziana Margaria
, Автор:
Bernhard Steffen
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 2.30 Mb
CONCUR 2001 - Concurrency Theory, 12 conf
Автор:
Kim G. Larsen
, Автор:
Mogens Nielsen
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 6.58 Mb
Computer Aided Verification, 14 conf., CAV 2002
Автор:
Ed Brinksma
, Автор:
Kim G. Larsen
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 5.01 Mb
Computer Aided Verification, 3 conf., CAV '91
Автор:
Kim G. Larsen
, Автор:
Arne Skou
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 4.42 Mb
Principles of Model Checking
Автор:
Christel Baier
, Автор:
Joost-Pieter Katoen
, Автор:
Kim Guldstrand Larsen
Категория:
Computer science
Размер книги: 17.08 Mb
Reactive Systems: Modelling, Specification and Verification
Автор:
Luca Aceto
, Автор:
Anna Ingólfsdóttir
, Автор:
Kim Guldstrand Larsen
, Автор:
Jiri Srba
Размер книги: 1.86 Mb
Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers
Автор:
Kim G. Larsen
, Автор:
Peter Niebert
Размер книги: 3.62 Mb